841. Logic, language, and computation
پدیدآورنده: \ [edited by] Martin Aher...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer logic -- Congresses.,Programming languages (Electronic computers) -- Semantics -- Congresses.,Computational linguistics -- Congresses.,منطق کامپیوتری -- کنگره ها,زبانهای برنامه‌نویسی کامپیوتر -- معنی شناسی -- کنگره ها ,زبان‌شناسی کامپیوتری -- کنگره ها
رده :
QA
75
.
5
.
L644
2015
E-Book
,
842. Logic of Domains
پدیدآورنده: Guo-Qiang Zhang
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
843. Logic of domains
پدیدآورنده: Zhang, Guo-Qiang
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
Z47
1991
844. Logic program synthesis and transformation - meta-programming in logic :
پدیدآورنده: Laurent Fribourg, Franco Turini (Eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming -- Congresses.,Logic programming.,Programming languages (Electronic computers) -- Congresses.
845. Logic programming :
پدیدآورنده: James H. Andrews
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming,Programming languages (Electronic computers)-- Semantics,Proof theory
846. Logic programming: : Prolog and stream parallel languages
پدیدآورنده: Newmarch, Jan
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
847. Logic programming : Prolog and stream parallel languages
پدیدآورنده: Newmarch, Jan.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
1990
848. Logic programming: prolog and stream parallel languages
پدیدآورنده: Newmarch, Jan Dennis
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Logic programming,، Prolog )Computer program language(,، Parallel processing )Electronic computers(
رده :
QA
76
.
63
.
N48
849. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
850. Logics of specification languages
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Semantics ، Programming languages )Electronic computers(,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L65
2008
851. Logics of specification languages
پدیدآورنده: Dines Bjrner, Martin C. Henson, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers( -- Semantics,، Logic, Symbolic and mathematical
رده :
QA
76
.
7
.
L63
852. MATLAB Recipes
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Computer software. ; Mathematics. ; Programming languages (Electronic computers). ; Professional Computing. ;
853. MERLIN' 05 : proceedings of the Third ACM SIGPLAN Workshop on Mechanized Reasoning about Languages with Variable Binding, September 30, 2005, Tallinn, Estoniia
پدیدآورنده: A. Momigliano & R. Pollack, editors; sponsored by the Association for Computing Machinery Special Interest Group on Programming Languages )SIGPLAN(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Data processing -- Congresses ، Reasoning
رده :
QA
76
.
7
.
A285
2005
854. Machine Learning Using R
پدیدآورنده: / by Karthik Ramasubramanian, Abhishek Singh
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Computer science,Computer programming,Programming languages (Electronic computers),Database management
رده :
QA
75
.
5
.
R3
2017
855. Machine language for the Commodore 64, 128, and other Commodore computers /
پدیدآورنده: Jim Butterfield.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Commodore 128 (Computer)-- Programming.,Commodore 64 (Computer)-- Programming.,Commodore computers-- Programming.,Programming languages (Electronic computers)
856. Machine learning using R :
پدیدآورنده: / Karthik Ramasubramanian, Abhishek Singh,Ramasubramanian
کتابخانه: كتابخانه مركزی دانشگاه علوم پزشكی اصفهان (اصفهان)
موضوع: Machine learning,Data mining,R (Computer program language),Computer science,Computer programming,Programming languages (Electronic computers)
رده :
QA76
.
9
.
R3
2017
857. Machine oriented higher level languages
پدیدآورنده: / edited by W. L. van der Poel and L. A. Maarssen
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
QA
76
.
I18
1973
858. Machine oriented higher level languages
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Programming languages (Electronic computers) -- Congresses
رده :
76
.
I8
859. Machine oriented higher level languages : proceedings of the IFIP Working Conference on Machine Oriented Higher Level Languages, Trondheim, Norway, August 27-31, 1973
پدیدآورنده: IFIP Working Conference on Machine Oriented Higher Level Languages, 3791, Trondheim
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I18
1973
860. Machines, languages, and complexity
پدیدآورنده: / 5th International Meeting of Young Computer Scientists, Smolenice, Czechoslovakia, November 14-18, 1988 : selected contributions
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Computers -- Congresses,Programming languages (Electronic computers) -- Congresses,Computational complexity -- Congresses
رده :
QA
76
.
5
.
I5773
1988
